Computable model theory - PDFSEARCH.IO - Document Search Engine

Computable model theory
Results: 195

#	Item
181	Microsoft Word - MI report nr 9 no title page.doc Add to Reading List Source URL: melbourneinstitute.com Language: English - Date: 2010-03-18 01:17:31 Climate change in Australia Computable general equilibrium Economic model Garnaut Climate Change Review Microsimulation IPCC Third Assessment Report Macroeconomic model Climate change mitigation General equilibrium theory Climate change Macroeconomics Climate change policy
182	(Mis)understanding Climate Policy The role of economic modelling Prepared for Friends of the Earth (England, Wales & Northern Ireland) and WWF-UK AUTHORS Frank Ackerman, PhD Add to Reading List Source URL: frankackerman.com Language: English - Date: 2014-06-07 11:15:46 Computable general equilibrium Taxation in the United Kingdom Economic model HM Revenue and Customs Macroeconomic model Economics of global warming General equilibrium theory Economic growth Economics Macroeconomics Environmental economics
183	The Company Aurora Energy Research provides independent analysis of the economics of energy markets. Drawing on the latest theory and techniques in the fields of environmental, resource, and financial economics, we build Add to Reading List Source URL: www.shaio.es Language: English - Date: 2013-04-01 03:56:33 General equilibrium theory Macroeconomic model Energy Economics Computer algebra systems Economics Computable general equilibrium Economic model
184	Full Abstraction for PCF1 Samson.Abramsky2 University of Edinburgh and Radha Jagadeesan3 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2004-01-06 12:23:12 Logic Interpretation Structure Monoid Elementary class Function Programming Computable Functions Denotational semantics Mathematics Model theory Mathematical logic
185	Ruhr Graduate School in Economics University of Duisburg-Essen 10th Ruhr Graduate Summer School Essen, Germany Add to Reading List Source URL: www.iwb.wiwi.uni-due.de Language: English - Date: 2014-06-05 09:21:48 Computable general equilibrium Computer algebra systems Economic model General equilibrium theory GTAP Applied general equilibrium Macroeconomic model New Trade Theory Social accounting matrix Economics Economic theories Macroeconomics
186	THE STRENGTH OF SOME COMBINATORIAL PRINCIPLES RELATED TO RAMSEY’S THEOREM FOR PAIRS DENIS R. HIRSCHFELDT, CARL G. JOCKUSCH, JR., BJØRN KJOS-HANSSEN, STEFFEN LEMPP, AND THEODORE A. SLAMAN Abstract. We study the reverse Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2009-07-29 17:55:43 Mathematics Theory of computation PA degree Computable function Reverse mathematics Model theory Forcing Combinatory logic Primitive recursive function Computability theory Mathematical logic Theoretical computer science
187	CHAINS AND ANTICHAINS IN PARTIAL ORDERINGS VALENTINA S. HARIZANOV, CARL G. JOCKUSCH, JR., AND JULIA F. KNIGHT Abstract. We study the complexity of infinite chains and antichains in computable partial orderings. We show t Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2009-07-29 17:58:40 Order theory Computability theory Integer sequences Antichain Functions and mappings Computable function Tree Function Model theory Mathematics Mathematical logic Theory of computation
188	Microsoft Word[removed]03_ICGFM_6Mar2014 Add to Reading List Source URL: www.icgfm.org Language: English - Date: 2014-03-11 14:29:47 Economic data Macroeconomic model Economic model Non-governmental organization Computable general equilibrium Statistics Certified Government Financial Manager General equilibrium theory Science Economics Macroeconomics Finance
189	Splitting and Nonsplitting in the Σ02 Enumeration Degrees∗ M. M. Arslanov1 , S. B. Cooper2 , I. Sh. Kalimullin1 Add to Reading List Source URL: www.fmi.uni-sofia.bg Language: English - Date: 2009-10-12 05:07:37 Mathematical logic Symbol Logic Computable function Structure Model theory Busy beaver Spinor Theory of computation Mathematics Computability theory
190	Abstract Computability and Algebraic Specification J. V. TUCKER University of Wales, Swansea and J. I. ZUCKER Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2002-09-23 17:38:51 Algebraic structures Universal algebra Mathematical structures John V. Tucker Model theory Computable function Subalgebra Computability theory Structure Mathematics Algebra Abstract algebra